Scientific reasoning is—and ought to be—conducted in accordance with the axioms of probability. This Bayesian view—so called because of the central role it accords to a theorem first proved by Thomas Bayes in the late eighteenth ...

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to (...) prove the Second Theorem, and exploring a family of related results. The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic. (shrink)

While ancient civilizations worshipped strong, active emotions, modern societies have favored more peaceful attitudes, especially within the democratic process. We have largely forgotten the struggle to make use of _thymos_, the part of the soul that, following Plato, contains spirit, pride, and indignation. Rather, Christianity and psychoanalysis have promoted mutual understanding to overcome conflict. Through unique examples, Peter Sloterdijk, the preeminent posthumanist, argues exactly the opposite, showing how the history of Western civilization can be read as a suppression and (...) return of rage. By way of reinterpreting the _Iliad_, Alexandre Dumas's _Count of Monte Cristo_, and recent Islamic political riots in Paris, Sloterdijk proves the fallacy that rage is an emotion capable of control. Global terrorism and economic frustrations have rendered strong emotions visibly resurgent, and the consequences of violent outbursts will determine international relations for decades to come. To better respond to rage and its complexity, Sloterdijk daringly breaks with entrenched dogma and contructs a new theory for confronting conflict. His approach acknowledges and respects the proper place of rage and channels it into productive political struggle. (shrink)

Showing that the arithmetic mean number of offspring for a trait type often fails to be a predictive measure of fitness was a welcome correction to the philosophical literature on fitness. While the higher mathematical moments of a probability-weighted offspring distribution can influence fitness measurement in distinct ways, the geometric mean number of offspring is commonly singled out as the most appropriate measure. For it is well-suited to a compounding process and is sensitive to variance in offspring number. The geometric (...) mean thus proves to be a predictively efficacious measure of fitness in examples featuring discrete generations and within- or between-generation variance in offspring output. Unfortunately, this advance has subsequently led some to conclude that the arithmetic mean is never a good measure of fitness and that the geometric mean should accordingly be the default measure of fitness. We show not only that the arithmetic mean is a perfectly reasonable measure of fitness so long as one is clear about what it refers to, but also that it functions as a more general measure when properly interpreted. It must suffice as a measure of fitness in any case where the geometric mean has been effectively deployed as a measure. We conclude with a discussion about why the mathematical equivalence we highlight cannot be dismissed as merely of mathematical interest. (shrink)

In this book, Peter Achinstein proposes and defends several objective concepts of evidence. He then explores the question of whether a scientific method, such as that represented in the four "Rules for the Study of Natural Philosophy" that Isaac Newton invoked in proving his law of gravity, can be employed in demonstrating how the proposed definitions of evidence are to be applied to real scientific cases.

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

In the history of philosophy, few topics are so relevant to today's cultural and political landscape as philosophy in the Islamic world. Yet, this remains one of the lesser-known philosophical traditions. In this Very Short Introduction, Peter Adamson explores the history of philosophy among Muslims, Jews, and Christians living in Islamic lands, from its historical background to thinkers in the twentieth century.Introducing the main philosophical themes of the Islamic world, Adamson integrates ideas from the Islamic and Abrahamic faiths to (...) consider the broad philosophical questions that continue to invite debate: What is the relationship between reason and religious belief? What is the possibility of proving God's existence? What is the nature of knowledge? Drawing on the most recent research in the field, this book challenges the assumption of the cultural decline of philosophy and science in the Islamic world by demonstrating its rich heritage and overlap with other faiths and philosophies. (shrink)

Ordinary semantic compositionality (meaning of whole determined from meanings of parts plus composition) can serve to explain how a hearer manages to assign an appropriate meaning to a new sentence. But it does not serve to explain how the speaker manages to find an appropriate sentence for expressing a new thought. For this we would need a principle of inverse compositionality, by which the expression of a complex content is determined by the expressions of it parts and the mode of (...) composition. But this presupposes that contents have constituent structure, and this cannot be taken for granted. However, it can be proved that if a certain principle of substitutivity is valid for a particular language, then the meanings expressed by its sentences can justifiably be treated as structured. In its simplest form, this principle says that if in a complex expression a constituent is replaced by another constituent with a different meaning, the new complex has a meaning different from the original. This principle is again inversely related to the normal compositional principle of substitutivity. The combination of ordinary and inverse compositionality is here called 'strong compositionality'. The proof is carried out in the algebraic framework developed by Wilfrid Hodges and Dag Westerståhl. (shrink)

Peter Kivy is the author of many books on the history of art and, in particular, the aesthetics of music. This collection of essays spans a period of some thirty years and focuses on a richly diverse set of issues: the biological origins of music, the role of music in the liberal education, the nature of the musical work and its performance, the aesthetics of opera, the emotions of music, and the very nature of music itself. Some of these (...) subjects are viewed as part of the history of ideas, others as current problems in the philosophy of art. A particular feature of the volume is that Kivy avoids the use of musical notation so that no technical knowledge at all is required to appreciate his work. The essays will prove enjoyable and insightful not just to professionals in the philosophy of art and musicologists, or to musicians themselves, but also to any motivated general reader with a deep interest in music. (shrink)

In his book, Peter Rohs develops a dualism of process-types founded in a theory of time: a type of mental processes belonging to a time-theoretical ontology and a type of physical processes belonging to a timeless ontology (the ontology of physics). This dualism should be proved as a basis for a non-naturalistic philosophy of mind, through which a libertarian concept of freedom and of personal autonomy can be defended. This theory is, as Rohs tries to demonstrate, compatible with the (...) theory of evolution. (shrink)

The essays in this volume, first published in 1986, examine the philosophical foundations of social choice theory. This field, a modern and sophisticated outgrowth of welfare economics, is best known for a series of impossibility theorems, of which the first and most crucial was proved by Kenneth Arrow in 1950. That has often been taken to show the impossibility of democracy as a procedure for making collective decisions. However, this interpretation is challenged by several of the contributors here. Other central (...) issues discussed in the volume include the possibility of making interpersonal comparisons of utility, the question of whether all preferences are equally to be valued, and the normative individualism underlying the theoretical tradition. Criticisms of social choice theory are advanced and suggestions for alternative approaches are developed. (shrink)

This article examines the relationship between compromise and fairness, and considers in particular why, if a fair outcome to a conflict is available, the conflict should still be subject to compromise. It sets out the defining features of compromise and explains how fair compromise differs from both principled and pragmatic compromise. The fairness relating to compromise can be of two types: procedural or end-state. It is the coherence of end-state fairness with compromise that proves the more puzzling case. We offer (...) reasons why people should be allowed to resolve conflicting or competing claims through compromise, even if compromise comes at the expense of end-state fairness, but we resist the suggestion that the primary rationale for compromise is to be found in non-ideal circumstances. (shrink)

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space (...) models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly. (shrink)

Moral particularism, on some interpretations, is committed to a shapeless thesis: the moral is shapeless with respect to the natural. (Call this version of moral particularism ‘shapeless moral particularism’). In more detail, the shapeless thesis is that the actions a moral concept or predicate can be correctly applied to have no natural commonality (or shape) amongst them. Jackson et al. (Ethical particularism and patterns, Oxford University Press, Oxford, 2000) argue, however, that the shapeless thesis violates the platitude ‘predication supervenes on (...) nature’—predicates or concepts apply because of how things are, and therefore ought to be rejected. I defend shapeless moral particularism by arguing that Jackson et al’s contention is less compelling than it firstly appears. My defense is limited in the sense that it does not prove shapeless moral particularism to be right and it leaves open the possibility that shapeless moral particularism might attract criticisms different from the ones advanced by Jackson et al. But at the very least, I hope to say enough to undermine Jackson et al’s powerful attack against it. The plan of this paper is as follows. Section 1 glosses the view of moral particularism and why it is taken to be essentially committed to the shapeless thesis. Section 2 examines a Wittgensteinian argument for the shapeless thesis. I shall argue that the Canberrans’ counter-arguments against it on grounds of disjunctive commonality and conceptual competence do not succeed. Section 3 explicates Canberrans’ predication supervenience argument against the shapeless thesis. Section 4 offers my criticisms of the Canberrans’ predication supervenience argument. In view of the above discussions, in Sect. 5, I conclude that there is no compelling argument (from the Canberrans) to believe that the shapeless thesis fails (as I have argued in Sect. 4). In fact, there is some good reason for us to believe it (as I have argued in Sect. 2). If so, I contend that moral particularism, when construed as essentially committed to the shapeless thesis, still remains as a live option. (shrink)

A groundbreaking new look at the story of America At the heart of the nation's spiritual history are audacious and often violent scenes. But the Puritans and the shining city on the hill give us just one way to understand the United States. Rather than recite American history from a Christian vantage point, Peter Manseau proves that what really happened is worth a close, fresh look. Thomas Jefferson himself collected books on all religions and required that the brand new (...) Library of Congress take his books, since Americans needed to consider the "twenty gods or no god" he famously noted were revered by his neighbors. Looking at the Americans who believed in these gods, Manseau fills in America's story of itself, from the persecuted "witches" at Salem and who they really were, to the persecuted Buddhists in WWII California, from spirituality and cults in the '60s to the recent presidential election where both candidates were for the first time non-traditional Christians. One Nation, Under Gods shows how much more there is to the history we tell ourselves, right back to the country's earliest days. Dazzling in its scope and sweep, it is an American history unlike any you've read. (shrink)

This paper is a sequel to the joint publication of Scott and Krauss in which the first aspects of a mathematical theory are developed which might be called "First Order Probability Logic". No attempt will be made to present this additional material in a self-contained form. We will use the same notation and terminology as introduced and explained in Scott and Krauss, and we will frequently refer to the theorems stated and proved in the preceding paper. The main objective of (...) this study is to show that the probability of symmetric probability systems may be represented as a "weighted average" of what might be called "product probabilities". We then discuss some applications of our results to Carnap's "Principle of instantial relevance", which plays an important role in his system of inductive logic. (shrink)

Taking as starting point two familiar interpretations of probability, we develop these in a perhaps unfamiliar way to arrive ultimately at an improbable claim concerning the proper axiomatization of probability theory: the domain of definition of a point-valued probability distribution is an orthomodular partially ordered set. Similar claims have been made in the light of quantum mechanics but here the motivation is intrinsically probabilistic. This being so the main task is to investigate what light, if any, this sheds on quantum (...) mechanics. In particular it is important to know under what conditions these point-valued distributions can be thought of as derived from distribution-pairs of upper and lower probabilities on boolean algebras. Generalising known results this investigation unsurprisingly proves unrewarding. In the light of this failure the next topic investigated is how these generalized probability distributions are to be interpreted. (shrink)

Compound propositions which can successfully be defended in a quantumdialogue independent of the elementary propositions contained in it, must have this property also independent of the mutual elementary commensur-abilities. On the other hand, formal commensurabilities must be taken into account. Therefore, for propositions which can be proved by P, irrespective of both the elementary propositions and of the elementary commensur-abilities, there exists a formal strategy of success. The totality of propositions with a formal strategy of success in a quantum dialogue (...) form the effective quantum logic. The propositions of the effective quantum logic can be derived from a calculus Q eff which is — on the other hand — equivalent to a lattice L qi.Propositions about measuring results are above all time dependent propositions A(S;t). In a dialogue, different partial propositions will have in general different time values. If one can (accidentally) win a material dialogue, this dialogue can be related to a single time value. For the propositions of the effective quantum logic there exist formal strategies of success, independent of the elementary propositions contained in it. All partial propositions appearing in the dialogue are formally commensurable. Therefore the propositions of effective quantum logic which can be proved by formal dialogues can always be related to a single time. They present a description of the system S considered in which all partial propositions can be related jointly to the state of S.Therefore in the effective quantum logic we have — in the limit of equal time values — a situation which corresponds conceptually to the description of the system (S; ψ) in Hilbert space. Consequently, one would expect that also the lattice L qi — except from the tertium non datur 8 — agrees with the lattice L q of subspaces of Hilbert space. It has been shown that these lattices are in fact isomorphic. (shrink)

The basic idea of the theorem is not very new: it is a slight generalization of a theorem proved by John Harsanyi in the 1950s.[i] The power of the book comes from his interpretation of the theorem, and from his strikingly clear and insightful discussion of the various conditions.

performances. But comparatively little work has been by way of elucidating such speech acts,[1] and without an adequate account of them, such comparisons will ultimately prove to be empty. In this paper, I will defend an illocutionary pretense view, according to which actors pretend to perform various kinds of illocutionary acts rather than genuinely performing them. This is, of course, a fairly intuitive position to take. What I want to argue, however, is that this is the route one must (...) take: there are simply no tenable alternatives. (shrink)

This paper examines how people in West Africa are reacting to the Ebola virus disease, an epidemic presently prevalent in the region. Certain lifestyle changes are suggested. Additionally, the heart of the paper focuses on the request by governments to be allowed access to experimental drugs, such as Zmapp and TKM-Ebola, for their infected populations. The author argues that granting such a request would circumvent research ethics procedures, which could potentially constitute significant risk to users of the drugs. The Pfizer (...) Kano meningitis trial of 1996 is cited as an example to buttress how unapproved drugs could prove fatal. (shrink)

We prove conjectures of Herrmann and Stob by showing that the dense simple sets are orbit complete w.r.t. the simple sets.

In this paper I address the question of whether the incompleteness theorems imply that “the mind cannot be mechanized,” where this is understood in the specific sense that “the mathematical outputs of the idealized human mind do not coincide with the mathematical outputs of any idealized finite machine.” Gödel argued that his incompleteness theorems implied a weaker, disjunctive conclusion to the effect that either “the mind cannot be mechanized” or “mathematical truth outstrips the idealized human mind.” Others, most notably, Lucas (...) and Penrose, have claimed more—they have claimed that the incompleteness theorems actually imply the first disjunct. I will show that by sharpening the fundamental concepts involved and articulating the background assumptions governing them, one can prove Gödel’s disjunction, one can show that the arguments of Lucas and Penrose fail, and one can see what likely led proponents of the first disjunct astray. (shrink)

The Trek Separation Theorem states necessary and sufficient conditions for a linear directed acyclic graphical model to entail for all possible values of its linear coefficients that the rank of various sub-matrices of the covariance matrix is less than or equal to n, for any given n. In this paper, I extend the Trek Separation Theorem in two ways: I prove that the same necessary and sufficient conditions apply even when the generating model is partially non-linear and contains some (...) cycles. This justifies application of constraint-based causal search algorithms to data generated by a wider class of causal models that may contain non-linear and cyclic relations among the latent variables. (shrink)

There is a pedagogical method of bringing undergraduate students to conceive the body–soul question. Similarly, there is a simple philosophical argument in defense of the existence of the soul via contemporary autobiographical stories, recent neuroscientific literature, and Socrates’s distinction between condition and cause in Plato’s Phaedo. This method has proved helpful in enabling students to gain access to the mystery and grandeur of the body–soul question and its foundational importance with respect to ethics and, indeed, to the meaning of life. (...) There must be a revival of collaboration between neuroscientists and philosophers to coauthor papers that explicitly challenge the materialist assumptions in the fields of neuroscience and psychology. (shrink)

The most prevalent modes of philosophy, educational theory, and philosophy of education currently extant in the United States represent a pronounced departure from the fundamental patterns of the Greek-Jewish- Christian tradition. Among the noteworthy characteristics of the more popular trends is a tendency toward the denial of, or an indifference regarding, the existence of a Transcendent Being. This feature alone has effected a radical departure from the scholarly traditions which are characterized by investigations into the relationships between theology and philosophy. (...) This factor, in turn, bears potentially strong influence upon the theory and practice of education. Partially in order to promote the revivification of a heritage not unrelated to that of many early American intellectual leaders, the main purpose of this paper is to exemplify the structure and an aspect of the substance of a theology-philosophy of Catholic education in accord with a selected passage from A New Catechism: Catholic Faith for Adults. The theological-philosophical dimension of this structure is represented by a developmental process entailing three stages of progression: from human love through an awareness of the “God of the philosophers” to belief in Christ. It is shown how theological and philosophical elements of this process bear upon the importance of early childhood religious education as well as of Catholic education somewhat more broadly conceived. It is noted that, although the theological-philosophical foundations allow for numerous options in education, there are bounds within which the direction of this education must be retained. The current importance of this kind of investigation lies in 1) the fundamentally empiricist approaches in philosophy of education so prominent today, 2) the inability of empiricist philosophies to confront prescriptive values in an authentically rational fashion, and 3) the necessity of a theological-philosophical approach for the Christian who wishes to think rationally about prescriptive values, and to formulate the kinds of educational plans which will prove to be effective in promoting authentic human happiness. Brief references to the practical efficacy of theoretical conceptions, and to teacher education, conclude the paper. (shrink)

This is a case study of goldsmith craft apprenticeship learning and recognition. The study includes 13 participants in a goldsmith's workshop. The theoretical approach to recognition and learning is inspired by sociocultural theory. In this article recognition is defined with reference to Hegel’s understanding of the concept as a transformed struggle of granting acknowledgement to another person plus receiving acknowledgement as a person. It is argued that the notion of recognition can enhance sociocultural notions of learning. In analysing the case (...) study of apprenticeship learning, the article suggests that recognition is expressed in the act of participants staking their lives to prove their autonomy, in work activity in terms of the role of artefacts and in the form of abstract and concrete recognition. Finally recognition is discussed in relation to learning and development. The study concludes that recognition is an important category not only to explain apprenticeship learning but also to give a sociocultural explanation of learning in general. (shrink)

We describe anytime search procedures that (1) find disjoint subsets of recorded variables for which the members of each subset are d-separated by a single common unrecorded cause, if such exists; (2) return information about the causal relations among the latent factors so identified. We prove the procedure is point-wise consistent assuming (a) the causal relations can be represented by a directed acyclic graph (DAG) satisfying the Markov Assumption and the Faithfulness Assumption; (b) unrecorded variables are not caused by (...) recorded variables; and (c) dependencies are linear. We compare the procedure with standard approaches over a variety of simulated structures and sample sizes, and illustrate its practical value with brief studies of social science data sets. Finally, we consider generalizations for non-linear systems. Keywords: latent variable models, causality, graphical models.. (shrink)

A formal result is proved which is used in Juhani Yli-Vakkuri’s ‘Epistemicism and Modality’ to argue that certain two-dimensional possible world models are inadequate for a language with operators for ‘necessarily’, ‘actually’, and ‘definitely’.

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, (...) showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book - extensively rewritten for its second edition - will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic. -/- (This second edition revises the first edition, with the aim of making it even more reader-friendly.). (shrink)

Aristotle claims that narrative can depict virtue and vice in particular cases, and that literature's moral meanings are not subject to philosophical paraphrase. He distrusts generalization in ethics, asserting that valid judgments rest on the perception of particulars. But this position is itself an unprovable generalization. If philosophy cannot prove the superiority of narrative over moral theory, perhaps literature can show it. In "Lolita", Nabokov reveals the moral hazards of theory while depicting one man's profound evil. Thus "Lolita" is (...) an illuminating example of pure Aristotelian fiction that serves a moral function without recourse to theory. (shrink)

We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an (...) arbitrary assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature. (shrink)

Accuracy-based arguments for conditionalization and probabilism appear to have a significant advantage over their Dutch Book rivals. They rely only on the plausible epistemic norm that one should try to decrease the inaccuracy of one's beliefs. Furthermore, it seems that conditionalization and probabilism follow from a wide range of measures of inaccuracy. However, we argue that among the measures in the literature, there are some from which one can prove conditionalization, others from which one can prove probabilism, and (...) none from which one can prove both. Hence at present, the accuracy-based approach cannot underwrite both conditionalization and probabilism. (shrink)

Spirtes, Glymour and Scheines [Causation, Prediction, and Search Springer] described a pointwise consistent estimator of the Markov equivalence class of any causal structure that can be represented by a directed acyclic graph for any parametric family with a uniformly consistent test of conditional independence, under the Causal Markov and Causal Faithfulness assumptions. Robins et al. [Biometrika 90 491–515], however, proved that there are no uniformly consistent estimators of Markov equivalence classes of causal structures under those assumptions. Subsequently, Kalisch and B¨uhlmann (...) [J. Mach. Learn. Res. 8 613–636] described a uniformly consistent estimator of the Markov equivalence class of a linear Gaussian causal structure under the Causal Markov and Strong Causal Faithfulness assumptions. However, the Strong Faithfulness assumption may be false with high probability in many domains. We describe a uniformly consistent estimator of both the Markov equivalence class of a linear Gaussian causal structure and the identifiable structural coefficients in the Markov equivalence class under the Causal Markov assumption and the considerably weaker k-Triangle-Faithfulness assumption. (shrink)

Gödel argued that his incompleteness theorems imply that either “the mind cannot be mechanized” or “there are absolutely undecidable sentences.” In the precursor to this paper I examined the early arguments for the first disjunct. In the present paper I examine the most sophisticated argument for the first disjunct, namely, Penrose’s new argument. It turns out that Penrose’s argument requires a type-free notion of truth and a type-free notion of absolute provability. I show that there is a natural such system, (...) DTK. I prove a series of results which show that Gödel’s disjunction is provable in the system, Penrose’s argument is invalid in the system, there can be no proof or refutation of either disjunct in the system, the independence results are robust in that they persist when one strengthens the principles governing absolute provability, and there are reasons to believe that the situation will not improve under any plausible alteration of the underlying theory of truth. (shrink)

Three quarters of Vietnam'sland area is in the uplands and foothills,which contain some of the poorest communes inthe country. The Ngoc Lac Natural ResourcesConservation and Management Project, in ThanhHoa Province, is one of several large uplandrural development projects that receivessubstantial funding from foreign governments inVietnam. The project was designed in 1995 toaddress the environmental constraints tosocio-economic development of Ngoc LacDistrict, while improving agriculturalproduction and natural resources management.During the first three years of operation, theproject focused on the introduction anddissemination of various (...) ``model'' technologicalpackages for improved agriculture, forestry,and animal husbandry. These models includedtree nurseries, sloping agricultural landtechnologies, integrated fish pond-livestockpen-home garden systems, and several animalhusbandry activities. However, the distributionof the models was not socially equitable, thesustainability of the models by model farminghouseholds proved problematic, and the adoptionof these technology practices by non-modelhouseholds was quite low. Four lessons can beidentified from past rural developmentexperience: beware of ``participatory'' ruralappraisal, start small and go slowly, introducelimited technologies, and help farmers adaptthe technologies. There are two promisinginitiatives underway in Vietnam. These are theparticipatory curriculum development and theparticipatory technology developmentinitiatives of the Social Forestry SupportProgram. (shrink)

We prove that a number of axioms, each a consequence of PFA (the Proper Forcing Axiom) are equivalent. In particular we show that TOP (the Thinning-out Principle as introduced by Baumgartner in the Handbook of set-theoretic topology), is equivalent to the following statement: If I is an ideal on ω 1 with ω 1 generators, then there exists an uncountable $X \subseteq \omega_1$ , such that either [ X] ω ∩ I = ⊘ or $\lbrack X\rbrack^\omega \subseteq I$.

Even with thirty years of academic experience under his belt, nothing could have prepared the medical school department chairman for the unexpected and protracted course of events that would follow his allegations of scientific misconduct against an associate professor in his department. In this actual case of scientific misconduct whistleblowing, the university allowed the accused professor to resign, but the chairman persisted in seeking a full investigation of the matter. Under the direction of the Office of Scientific Integrity of the (...) Department of Health and Human Services, the institution eventually reopened the investigation, and concluded that the accused professor had fabricated and falsified data, and had plagiarized the unpublished method of other investigators. Thereafter, the professor agreed to a voluntary exclusion from receiving federal funds for a period of three years.Despite the fact that the chairman's allegations proved true, his involvement as a “whistleblower” entailed consequences that censured rather than encouraged his behavior. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Virtues of Animals in Seventeenth-Century ThoughtPeter HarrisonDiscussions about animals—their purpose, their minds or souls, their interior operations, our duties towards them—have always played a role in human self-understanding. At no time, however, except perhaps our own, have such concerns sparked the magnitude of debate which took place during the course of the seventeenth century. The agenda had been set in the late 1500s by Montaigne, who had made (...) the remarkable (if somewhat rhetorical) claim that animals were both moral and rational, and moreover, more moral and rational than humans. In the century which followed, Descartes, not to be outdone, put forward the even more contentious counter-proposal that animals were not only neither rational nor moral, but that they were not even conscious. The Cartesian hypothesis fueled a debate which continued until well into the eighteenth century. 1 While in recent years much attention has been given to issues of animal consciousness and cognition in seventeenth-century thought, the related question of the moral capabilities of animals has been by comparison neglected. In this paper I shall explore the converse side of the better known arguments about the rational capabilities of the beasts, focusing on seventeenth-century discussions concerning the behaviors and passions of the beasts and the extent to which animals were thought to participate in the moral universe of human beings.I. During the first sixteen hundred years of the common era, those thinkers who directed their attention to the natural world had tended to be preoccupied neither with questions of how animals came into being nor with the direct [End Page 463] causes of their various operations but rather with the question of why they existed at all. Almost without exception responses to this question were variations on a single theme: animals had been placed in the world to provide for the physical needs of human beings. 2 While this response proved to be satisfactory in general terms, there were acknowledged deficiencies. Many living things seemed to have been rather extravagantly designed for their putative purpose. Others seemed blatantly to contradict it. Why were our meat supplies, for example, not more conveniently presented, like the fabled Scythian lamb which grew on a tree? Why was it that a significant number of creatures appeared to be useless or even downright harmful to those whom they were designed to serve? And why, finally, were human beings created such that they were dependent upon lesser creatures for their survival?Responses to these difficulties generally took one of three forms, each of which was influential throughout the Middle Ages and beyond. First, it could be asserted that as a result of the Fall, human beings had forfeited their dominion over the creatures, many of which now served as instruments for their punishment and correction. Augustine observed that “there are many things, such as fire, frost, wild beasts and so forth, which do not suit but injure this thin-blooded and frail mortality of our flesh, which is at present under just punishment.” 3 In the seventeenth century this view still attracted many supporters. Thus Godfrey Goodman, in The Fall of Man (1616), wrote that “all the creatures, forsaking their first and naturall use, did serve for mans punishment, and rebelled against him.” 4Second, an appeal could be made to the Platonic principle of plenitude and the related idea of the chain of being. The principle of plenitude taught that more is better and that variety is preferable to uniformity. God, wrote the third-century Christian apologist Lactantius, “wished to display His providence and power by a wonderful variety of many things.” 5 It followed that all existing things could be ranged in a vast scale from non-existence to God himself, with each link in the chain separated from its neighbor by a small difference. Again, this view found many adherents in the early modern period. Thomas Robinson declared that “it was necessary that there shou’d be a variety of Natures, and [End Page 464] different Degrees of Life and Perfection.” Thus “every Creature even of the lowest Degree of Life, is Good and Perfect in its Kind.” 6 Important for our... (shrink)

Gödel initiated the program of finding and justifying axioms that effect a significant reduction in incompleteness and he drew a fundamental distinction between intrinsic and extrinsic justifications. Reflection principles are the most promising candidates for new axioms that are intrinsically justified. Taking as our starting point Tait’s work on general reflection principles, we prove a series of limitative results concerning this approach. These results collectively show that general reflection principles are either weak ) or inconsistent. The philosophical significance of (...) these results is discussed. (shrink)

In ethical terms, intention is widely felt to be the strongest basis for the attribution of personal responsibility for conduct and outcomes. By contrast, in tort law intention is a much less important ground of liability than negligence. This article analyses the meaning of intention in tort law and its relationship to other concepts such as voluntariness, recklessness, motive, and belief. It also discusses difficulties associated with proving intention and other mental states, and the idea of a general principle of (...) tort liability for intention. The key to explaining the relatively minor role of mens rea in tort law is found to lie in the emphasis tort law gives to the interests of victims, and to social values, in constructing its concept of responsibility. This approach also helps to explain the greater importance of mens rea in criminal law. (shrink)

What is coercion? Not only is an answer to this question interesting in itself but it can also help us to better understand the nature of freedom of action. I start with a critical discussion of Harry Frankfurt’s conception of coercion and voluntary action. Despite several objections, it turns out that some of Frankfurt’s ideas and arguments can also be used in a different way and prove to be crucial for a more plausible conception of coercion and free action.

The Franciscan thesis maintains that the primary motive of the Incarnation is to glorify the triune God in the person of Jesus Christ: though Christ atones for human sins, his coming isn't relative to our need for redemption but rather has an absolute primacy. The Franciscan thesis is sometimes associated with the counterfactual claim that Christ would have come even if humans hadn't sinned. In recent work on the Franciscan thesis, an attempt is made to prove the counterfactual claim (...) on the basis of a purely logical argument drawn from the writings of Bl. John Duns Scotus. After showing that this proof fails, I construct an axiological argument for the Franciscan thesis that disentangles it from unsubstantiated counterfactual claims while respecting the subtle interplay between natural and revealed theology. I then provide a metaphysical interpretation of the axiological argument that builds upon Scotist notions. Seen through this interpretive lens, Scotus's logical argument can be understood not as attempting to prove a counterfactual claim but as articulating Scotus's vision of what is required of any created order that is radically contingent on God's will yet perfectly glorifies its Creator. Thus understood, the Franciscan thesis challenges a powerful and influential picture in philosophical theology. (shrink)

We observe that Schrödinger’s equation may be written as two real coupled Hamilton–Jacobi (HJ)-like equations, each involving a quantum potential. Developing our established programme of representing the quantum state through exact free-standing deterministic trajectory models, it is shown how quantum evolution may be treated as the autonomous propagation of two coupled congruences. The wavefunction at a point is derived from two action functions, each generated by a single trajectory. The model shows that conservation as expressed through a continuity equation is (...) not a necessary component of a trajectory theory of state. Probability is determined by the difference in the action functions, not by the congruence densities. The theory also illustrates how time-reversal symmetry may be implemented through the collective behaviour of elements that individually disobey the conventional transformation (T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{T}$$\end{document}) of displacement (scalar) and velocity (reversal). We prove that an integral curve of the linear superposition of two vectors can be derived algebraically from the integral curves of one of the constituent vectors labelled by integral curves associated with the other constituent. A corollary establishes relations between displacement functions in diverse trajectory models, including where the functions obey different symmetry transformations. This is illustrated by showing that a (T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{T}$$\end{document}-obeying) de Broglie-Bohm trajectory is a sequence of points on the (non-T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{T}$$\end{document}) HJ trajectories, and vice versa. (shrink)

Drosophila melanogaster is one of the most popular and powerful model organisms that helpour understanding of mammalian (human) life processes at the molecular level. Calpains are Ca2+‐activated cytoplasmic proteases thought to play multiple roles in intracellular signal processing by limited proteolysis of target substrate proteins, thereby changing their function. The calpain superfamily consists of 14 genes in mammals, but only 4 genes in Drosophila. One may assume that the calpain system, i.e. recognizing calpain‐dependent life processes and identifying the substrates cleaved (...) while exerting their functions, would prove easier to solve in Drosophila than in mammals. Recently, major progress has been made in characterizing Drosophila Calpain A, Calpain B and Calpain C. The fourth member, Calpain D (or SOL), was analyzed earlier. At this juncture, it seems justifiable to summarize our knowledge about the Drosophila enzymes, in comparison to the ubiquitous mammalian ones, as regards structure–function relations, mode of activation by Ca2+ and other factors, inhibition, potential targeting, expression pattern in vivo, etc. Equipped with all this information, we may now embark on the genetic modification of family members, interpreting mutant phenotypes in terms of the cell biology of calpains. BioEssays 26:1088–1096, 2004. © 2004 Wiley Periodicals, Inc. (shrink)